MODULE t1;
IMPORT Math, Out;

VAR x, y: INTEGER;

PROCEDURE F(VAR x : INTEGER);
BEGIN
	x := 8;
END F;

BEGIN
	x := 1;
	y := x + 2;
	F(y);
	Out.Int(y, 10)
END t1.

